You have chosen A Problem about Substitutional Quantification?st1=Saul A. Kripke, Intro to I: Classical Logic and Intro to I: Classical Logic.
All three must be different; choose another text.